num_stability_msgs_received++;
resetDigest(mbrs);
// pass STABLE event down the stack, so NAKACK can garbage collect old messages
down_prot.down(new Event(Event.STABLE, d));
return;
}
num_stability_msgs_received++;
resetDigest();
}
finally {
lock.unlock();